Nuprl Definition : le 12,41
A  B == (B < A) 
latex

DefinitionsA  B, A
FDL editor aliasesle

origin